predicate calculus

Remainder method for the mechanical theorem proving in first-order predicate calculus

一阶谓词演算定理机器证明的余式方法

The atomic formula is called atom for short in predicate calculus.

在谓词演算中,有时将原子公式简称为原子.

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

A new formal deductive system for fuzzy predicate calculus

一个新的模糊谓词演算形式系统

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。